Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra
نویسنده
چکیده
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use this fact to solve certain infinite systems of inequalities over a Kleene algebra. Automatic systems are a special class of infinite systems that can be viewed as infinite-state automata. Automatic systems can be collapsed using Myhill–Nerode relations in much the same way that finite automata can. The Brzozowski derivative on an algebra of polynomials over a Kleene algebra gives rise to a triangular automatic system that can be solved using these methods. This provides an alternative method for proving the completeness of Kleene algebra.
منابع مشابه
Kleene Algebra Completeness
This paper gives a new presentation of Kozen’s proof of Kleene algebra completeness featured in his article A completeness theorem for Kleene algebras and the algebra of regular events. A few new variants are introduced, shortening the proof. Specifically, we directly construct an ε-free automaton to prove an equivalent to Kleene’s representation theorem (implementing Glushkov’s instead of Thom...
متن کاملAutomata on Guarded Strings and Applications
Guarded strings are like ordinary strings over a finite alphabet P, except that atoms of the free Boolean algebra on a set of atomic tests B alternate with the symbols of P. The regular sets of guarded strings play the same role in Kleene algebra with tests as the regular sets of ordinary strings do in Kleene algebra. In this paper we develop the elementary theory of finite automata on guarded ...
متن کاملSeries-Parallel Posets: Algebra, Automata and Languages
In order to model concurrency, we extend automata theory from the usual word languages (sets of labelled linear orders) to sets of labelled series-parallel posets | or, equivalently, to sets of terms in an algebra with two product operations: sequential and parallel. We rst consider languages of posets having bounded width, and characterize them using depth-nilpotent algebras. Next we introduce...
متن کاملMyhill-Nerode Fuzzy Congruences Corresponding to a General Fuzzy Automata
Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...
متن کاملQuasitriangular Structure of Myhill-Nerode Bialgebras
In computer science the Myhill–Nerode Theorem states that a set L of words in a finite alphabet is accepted by a finite automaton if and only if the equivalence relation ∼L, defined as x ∼L y if and only if xz ∈ L exactly when yz ∈ L,∀z, has finite index. The Myhill–Nerode Theorem can be generalized to an algebraic setting giving rise to a collection of bialgebras which we call Myhill–Nerode bi...
متن کامل